when 0
is B->(
t)
